e8d4a85764ea842a9b0a32f93cb28ef1e63d059d,tests/fr.inria.diverse.melange.tests/src/main/java/simplefsm/timedfsm/adapters/fsmmt/TransitionAdapter.java,TransitionAdapter,setTarget,#State#,58

Before Change


  
  @Override
  public void setTarget(final State o) {
    adaptee.setTarget(((simplefsm.timedfsm.adapters.fsmmt.StateAdapter) o).getAdaptee()) ;
  }
  
  @Override

After Change


  
  @Override
  public void setTarget(final State o) {
    if (o != null)
    	adaptee.setTarget(((simplefsm.timedfsm.adapters.fsmmt.StateAdapter) o).getAdaptee()) ;
    else adaptee.setTarget(null) ;
  }
  
  @Override